EDT0L Grammars with Only One Variable have Tractable Generating Functions
نویسندگان
چکیده
We introduce new counting techniques for computing the growth of EDT0L languages based on generalized Parikh vectors. The structure generating function S ( z ) any language formed from an unambiguous system with one variable and m tables is tractable in sense that its Taylor polynomial N can be constructed time O 2+log 2 ). illustrate by example this result not necessarily true systems several variables. dichotomy between variables partially explained using matrix algebra.
منابع مشابه
From indexed grammars to generating functions
We extend the DSV method of computing the growth series of an unambiguous context-free language to the larger class of indexed languages. We illustrate the technique with numerous examples.
متن کاملNanosilver - does it have only one face?
Silver nanoparticles (NPs) have at least one dimension of a particle smaller than 100 nm and contain 20-15,000 silver atoms. Due to its antibacterial activity nanosilver (NS) is used for medical purposes. NS particles can be obtained by various methods. Potentially, the best method of the NS synthesis for medical purposes is based on a brief flow of electric current between two silver electrode...
متن کاملNon Recursive Functions Have Transcendental Generating Series
In this note we shaii prove that non primitive recursive functions have transcendental generating series. This resuit translates a certain measure of the complexity of a fonction, the fact of not being primitive recursive, into another measure of the complexity of the generating series associated to the function, the fact of being transcendental. Résumé. On démontre que les fonctions qui ne son...
متن کاملA one-horse race can have only one winner.
TO THE EDITOR: The spectrum of reactions to my Viewpoint (3) regarding the role of the airway smooth muscle (ASM) in creating airway hyperresponsiveness akin to asthma has raised several interesting points (see Ref. 4). First, I must begin with a critical clarification. A few of the responders appear under the impression that I suggested the ASM was the “horse” we should dismount or stop chasin...
متن کاملHypergeometric functions in one variable
This is a Fuchsian equation of order n with singularities at 0, 1,∞. The local exponents read, 1− β1, . . . , 1− βn at z = 0 α1, . . . , αn at z =∞ 0, 1, . . . , n− 2, −1 + ∑n 1 (βi − αi) at z = 1 When the βi are distinct modulo 1 a basis of solutions at z = 0 is given by the functions z1−βi nFn−1 ( α1 − βi + 1, . . . , αn − βi + 1 β1 − βi + 1, ..∨.., βn − βi + 1 ∣∣∣∣ z) (i = 1, . . . , n). Her...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Informatics and Applications
سال: 2023
ISSN: ['0988-3754', '1290-385X']
DOI: https://doi.org/10.1051/ita/2023004